Normal forms for underactuated mechanical systems with symmetry

We introduce cascade normal forms for underactuated mechanical systems that are convenient for control design. These normal forms include three classes of cascade systems, namely, nonlinear systems in strict feedback form, feedforward form, and nontriangular quadratic form (to be defined). In each case, the transformation to cascade systems is provided in closed-form. We apply our results to the Acrobot, the rotating pendulum, and the cart-pole system

Ultrafast Consensus in Small-World Networks

In this paper, we demonstrate a phase transition phenomenon in algebraic connectivity of small-world networks. Algebraic connectivity of a graph is the second smallest eigenvalue of its Laplacian matrix and a measure of speed of solving consensus problems in networks. We demonstrate that it is possible to dramatically increase the algebraic connectivity of a regular complex network by 1000 times or more without adding new links or nodes to the network. This implies that a consensus problem can be solved incredibly fast on certain small-world networks giving rise to a network design algorithm for ultra fast information networks. Our study relies on a procedure called "random rewiring" due to Watts & Strogatz (Nature, 1998). Extensive numerical results are provided to support our claims and conjectures. We prove that the mean of the bulk Laplacian spectrum of a complex network remains invariant under random rewiring. The same property only asymptotically holds for scale-free networks. A relationship between increasing the algebraic connectivity of complex networks and robustness to link and node failures is also shown. This is an alternative approach to the use of percolation theory for analysis of network robustness. We also show some connections between our conjectures and certain open problems in the theory of random matrices

Exponential ε-tracking and ε-stabilization of second-order nonholonomic SE(2) vehicles using dynamic state feedback

In this paper, we address the problem of ε-tracking and ε-stabilization for a class of SE(2) vehicles with second-order nonholonomic constraints. We introduce a class of transformations called near-identity diffeomorphism that allow dynamic partial feedback linearization of the translational dynamics of this class of SE(2) vehicles. This allows us to achieve global exponential ε-stabilization and ε-tracking (in position) for the aforementioned classes of autonomous vehicles using a coordinate-independent dynamic state feedback. This feedback is only discontinuous w.r.t. the augmented state. We apply our results to ε-stabilization and ε-tracking for an underactuated surface vessel

Global configuration stabilization for the VTOL aircraft with strong input coupling

Trajectory tracking and configuration stabilization for the vertical takeoff and landing (VTOL) aircraft has been so far considered in the literature only in the presence of a slight (or zero) input coupling (i.e., for a small ε). In this paper, our main contribution is to address global configuration stabilization for the VTOL aircraft with a strong input coupling using a smooth static state feedback. In addition, the differentially flat outputs for the VTOL aircraft are automatically obtained as a by-product of applying a decoupling change of coordinates

A Unified Analytical Look at Reynolds Flocking Rules

In this paper, we present a unified theoretical view of the so-called ``Flocking Rules of Reynolds'' introduced in 1987. No equations describing the rules or mathematical models of the mobile agents known as ``boids'' were presented in the original work by Reynolds. We show how to model a group of autonomous mobile agents by dynamic nets and achieve flocking by dissipation of the structural energy of the multi-agent system. As a by-product, we obtain a single protocol called the (alpha,alpha) protocol that encompasses all three flocking rules of Reynolds. We provide geometric interpretations of the advanced forms of some of these flocking rules. Simulation results are provided that demonstrate flocking of 100 agents towards a sink

Flocking with Obstacle Avoidance

In this paper, we provide a dynamic graph theoretical framework for flocking in presence of multiple obstacles. In particular, we give formal definitions of nets and flocks as spatially induced graphs. We provide models of nets and flocks and discuss the realization/embedding issues related to structural nets and flocks. This allows task representation and execution for a network of agents called alpha-agents. We also consider flocking in the presence of multiple obstacles. This task is achieved by introducing two other types of agents called beta-agents and gamma-agents. This framework enables us to address split/rejoin and squeezing maneuvers for nets/flocks of dynamic agents that communicate with each other. The problems arising from switching topology of these networks of mobile agents make the analysis and design of the decision-making protocols for such networks rather challenging. We provide simulation results that demonstrate the effectiveness of our theoretical and computational tools

Agreement Problems in Networks with Directed Graphs and Switching Topology

In this paper, we provide tools for convergence and performance analysis of an agreement protocol for a network of integrator agents with directed information flow. Moreover, we analyze algorithmic robustness of this consensus protocol for the case of a network with mobile nodes and switching topology. We establish a connection between the Fiedler eigenvalue of the graph Laplacian and the performance of this agreement protocol. We demostrate that a class of directed graphs, called balanced graphs, have a crucial role in solving average-consensus problems. Based on the properties of balanced graphs, a group disagreement function (i.e. Lyapunov function) is proposed for convergence analysis of this agreement protocol for networks with directed graphs. This group disagreement function is later used for convergence analysis for the agreement problem in networks with switching topology. We provide simulation results that are consistent with our theoretical results and demonstrate the effectiveness of the proposed analytical tools

Consensus problems in networks of agents with switching topology and time-delays

In this paper, we discuss consensus problems for networks of dynamic agents with fixed and switching topologies. We analyze three cases: 1) directed networks with fixed topology; 2) directed networks with switching topology; and 3) undirected networks with communication time-delays and fixed topology. We introduce two consensus protocols for networks with and without time-delays and provide a convergence analysis in all three cases. We establish a direct connection between the algebraic connectivity (or Fiedler eigenvalue) of the network and the performance (or negotiation speed) of a linear consensus protocol. This required the generalization of the notion of algebraic connectivity of undirected graphs to digraphs. It turns out that balanced digraphs play a key role in addressing average-consensus problems. We introduce disagreement functions for convergence analysis of consensus protocols. A disagreement function is a Lyapunov function for the disagreement network dynamics. We proposed a simple disagreement function that is a common Lyapunov function for the disagreement dynamics of a directed network with switching topology. A distinctive feature of this work is to address consensus problems for networks with directed information flow. We provide analytical tools that rely on algebraic graph theory, matrix theory, and control theory. Simulations are provided that demonstrate the effectiveness of our theoretical results

Nonlinear control of underactuated mechanical systems with application to robotics and aerospace vehicles

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.Includes bibliographical references (leaves 308-316).This thesis is devoted to nonlinear control, reduction, and classification of underactuated mechanical systems. Underactuated systems are mechanical control systems with fewer controls than the number of configuration variables. Control of underactuated systems is currently an active field of research due to their broad applications in Robotics, Aerospace Vehicles, and Marine Vehicles. The examples of underactuated systems include flexible-link robots, nobile robots, walking robots, robots on mobile platforms, cars, locomotive systems, snake-type and swimming robots, acrobatic robots, aircraft, spacecraft, helicopters, satellites, surface vessels, and underwater vehicles. Based on recent surveys, control of general underactuated systems is a major open problem. Almost all real-life mechanical systems possess kinetic symmetry properties, i.e. their kinetic energy does not depend on a subset of configuration variables called external variables. In this work, I exploit such symmetry properties as a means of reducing the complexity of control design for underactuated systems. As a result, reduction and nonlinear control of high-order underactuated systems with kinetic symmetry is the main focus of this thesis. By "reduction", we mean a procedure to reduce control design for the original underactuated system to control of a lowerorder nonlinear or mechanical system. One way to achieve such a reduction is by transforming an underactuated system to a cascade nonlinear system with structural properties. If all underactuated systems in a class can be transformed into a specific class of nonlinear systems, we refer to the transformed systems as the "normal form" of the corresponding class of underactuated systems. Our main contribution is to find explicit change of coordinates and control that transform several classes of underactuated systems, which appear in robotics and aerospace applications, into cascade nonlinear systems with structural properties that are convenient for control design purposes. The obtained cascade normal forms are three classes of nonlinear systems, namely, systems in strict feedback form, feedforward form, and nontriangular linear-quadratic form. The names of these three classes are due to the particular lower-triangular, upper-triangular, and nontriangular structure in which the state variables appear in the dynamics of the corresponding nonlinear systems. The triangular normal forms of underactuated systems can be controlled using existing backstepping and feedforwarding procedures. However, control of the nontriangular normal forms is a major open problem. We address this problem for important classes of nontriangular systems of interest by introducing a new stabilization method based on the solutions of fixed-point equations as stabilizing nonlinear state feedback laws. This controller is obtained via a simple recursive method that is convenient for implementation. For special classes of nontriangular nonlinear systems, such fixed-point equations can be solved explicitly ...by Reza Olfati-Saber.Ph.D

Nonlinear control and reduction of underactuated systems with symmetry. II. Unactuated shape variables case

For pt. I see ibid., p.4158-63 (2001). We address nonlinear control and reduction of two classes of high-order underactuated mechanical systems with kinetic symmetry called Class-II and Class-III systems. Class-II systems are underactuated systems with unactuated shape variables, decoupled inputs, and integrable normalized momentums (all to be defined). We show that all Class-II underactuated systems can be transformed into cascade systems in nontriangular quadratic form using an explicit change of coordinates and control. In addition,, we characterize a subclass of Class-II systems, called Class-III systems, that can be explicitly transformed into cascade systems in strict feedforward form. This allows application of existing nonlinear control design methods like nested saturations and feedforwarding to control of underactuated systems